Loding, Christof: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Reachability Problems on Regular Ground Tree Rewriting Graphs

Christof Löding

Journal:

Theory of Computing Systems

Year:

2006

Language:

english

File:

PDF, 471 KB

english, 2006

2

[Lecture Notes in Computer Science] Foundations of Software Science and Computation Structures Volume 9634 ||

Jacobs, Bart, Löding, Christof

Year:

2016

Language:

english

File:

PDF, 12.37 MB

english, 2016

3

Efficient minimization of deterministic weak ω-automata

Christof Löding

Journal:

Information Processing Letters

Year:

2001

Language:

english

File:

PDF, 79 KB

english, 2001

4

Choice functions and well-orderings over the infinite binary tree

Arnaud Carayol, Christof Löding, Damian Niwinski, Igor Walukiewicz

Journal:

Central European Journal of Mathematics

Year:

2010

Language:

english

File:

PDF, 707 KB

english, 2010

5

Efficient inclusion testing for simple classes of unambiguous ω-automata

Dimitri Isaak, Christof Löding

Journal:

Information Processing Letters

Year:

2012

Language:

english

File:

PDF, 166 KB

english, 2012

6

Propositional dynamic logic with recursive programs

Christof Löding, Carsten Lutz, Olivier Serre

Journal:

The Journal of Logic and Algebraic Programming

Year:

2007

Language:

english

File:

PDF, 301 KB

english, 2007

7

[IEEE 2010 25th Annual IEEE Symposium on Logic in Computer Science (LICS 2010) - Edinburgh, United Kingdom (2010.07.11-2010.07.14)] 2010 25th Annual IEEE Symposium on Logic in Computer Science - Regular Cost Functions over Finite Trees

Colcombet, Thomas, Löding, Christof

Year:

2010

Language:

english

File:

PDF, 372 KB

english, 2010

8

[IEEE 2014 IEEE 11th International Conference on Mobile Ad Hoc and Sensor Systems (MASS) - Philadelphia, PA, USA (2014.10.28-2014.10.30)] 2014 IEEE 11th International Conference on Mobile Ad Hoc and Sensor Systems - Guaranteeing Stability and Delay in Dynamic Networks Based on Infinite Games

Tenbusch, Simon, Loding, Christof, Radmacher, Frank, Gross, James

Year:

2014

Language:

english

File:

PDF, 279 KB

english, 2014

9

[ACM Press the twenty-third ACM SIGMOD-SIGACT-SIGART symposium - Paris, France (2004.06.14-2004.06.16)] Proceedings of the twenty-third ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems - PODS '04 - A characterization of first-order topological properties of planar spatial data

Benedikt, Michael, Van den Bussche, Jan, Löding, Christof, Wilke, Thomas

Year:

2004

Language:

english

File:

PDF, 203 KB

english, 2004

10

[Lecture Notes in Computer Science] Foundations of Software Science and Computation Structures Volume 9634 || Profinite Monads, Profinite Equations, and Reiterman’s Theorem

Jacobs, Bart, Löding, Christof

Year:

2016

Language:

english

File:

PDF, 271 KB

english, 2016

11

[Lecture Notes in Computer Science] Foundations of Software Science and Computation Structures Volume 9634 || Towards a Formal Theory of Graded Monads

Jacobs, Bart, Löding, Christof

Year:

2016

Language:

english

File:

PDF, 296 KB

english, 2016

12

[Lecture Notes in Computer Science] Foundations of Software Science and Computation Structures Volume 9634 || The Invariance Problem for Matrix Semigroups

Jacobs, Bart, Löding, Christof

Year:

2016

Language:

english

File:

PDF, 639 KB

english, 2016

13

[Lecture Notes in Computer Science] Foundations of Software Science and Computation Structures Volume 9634 || Metric Temporal Logic with Counting

Jacobs, Bart, Löding, Christof

Year:

2016

Language:

english

File:

PDF, 405 KB

english, 2016

14

[Lecture Notes in Computer Science] Foundations of Software Science and Computation Structures Volume 9634 || Dependent Types and Fibred Computational Effects

Jacobs, Bart, Löding, Christof

Year:

2016

Language:

english

File:

PDF, 560 KB

english, 2016

15

[Lecture Notes in Computer Science] Foundations of Software Science and Computation Structures Volume 9634 || A Theory of Monitors

Jacobs, Bart, Löding, Christof

Year:

2016

Language:

english

File:

PDF, 400 KB

english, 2016

16

Quantified data automata for linear data structures: a register automaton model with applications to learning invariants of programs manipulating arrays and lists

Garg, Pranav, Löding, Christof, Madhusudan, P., Neider, Daniel

Journal:

Formal Methods in System Design

Year:

2015

Language:

english

File:

PDF, 874 KB

english, 2015

17

[Lecture Notes in Computer Science] Foundations of Software Science and Computation Structures Volume 9634 || Guarded Dependent Type Theory with Coinductive Types

Jacobs, Bart, Löding, Christof

Year:

2016

Language:

english

File:

PDF, 627 KB

english, 2016

18

Simplification Problems for Deterministic Pushdown Automata on Infinite Words

Löding, Christof

Journal:

International Journal of Foundations of Computer Science

Year:

2015

Language:

english

File:

PDF, 345 KB

english, 2015

19

Synthesis of deterministic top-down tree transducers from automatic tree relations

Löding, Christof, Winter, Sarah

Journal:

Information and Computation

Year:

2016

Language:

english

File:

PDF, 1.15 MB

english, 2016

20

Cytotoxic effects of composite dust on human bronchial epithelial cells

Cokic, Stevan M., Hoet, Peter, Godderis, Lode, Wiemann, Martin, Asbach, Christof, Reichl, Franz X., De Munck, Jan, Van Meerbeek, Bart, Van Landuyt, Kirsten L.

Journal:

Dental Materials

Year:

2016

Language:

english

File:

PDF, 1.67 MB

english, 2016

21

[ACM Press the 31st Annual ACM/IEEE Symposium - New York, NY, USA (2016.07.05-2016.07.08)] Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science - LICS '16 - Automata on Infinite Trees with Equality and Disequality Constraints Between Siblings

Carayol, Arnaud, Löding, Christof, Serre, Olivier

Year:

2016

Language:

english

File:

PDF, 356 KB

english, 2016

22

Decision Problems for Deterministic Pushdown Automata on Infinite Words

Löding, Christof

Journal:

Electronic Proceedings in Theoretical Computer Science

Year:

2014

Language:

english

File:

PDF, 178 KB

english, 2014

23

Pure Strategies in Imperfect Information Stochastic Games

Carayol, Arnaud, Löding, Christof, Serre, Olivier

Journal:

Fundamenta Informaticae

Year:

2018

Language:

english

File:

PDF, 314 KB

english, 2018

24

Filtration efficiency of surgical and FFP3 masks against composite dust

Breul, Sebastian, Van Landuyt, Kirsten L., Reichl, Franz X., HÃ¶gg, Christof, Hoet, Peter, Godderis, Lode, Van Meerbeek, Bart, Cokic, Stevan M.

Journal:

European Journal of Oral Sciences

Year:

2020

File:

PDF, 863 KB

2020

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски